This patch fix a bug in set_reg_value() for x86_64 VMX guest.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 10 Sep 2005 14:20:29 +0000 (14:20 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 10 Sep 2005 14:20:29 +0000 (14:20 +0000)
commit6c78d04f75bbea0c10608946a6dc6a249ff65f43
tree0ecf858e2a08d70c7bac471baac3c0af3485af7e
parent642c5961d3a521a15719b290c52d0e31e39fedf2
This patch fix a bug in set_reg_value() for x86_64 VMX guest.

Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
xen/arch/x86/vmx_io.c